Maibaum, Tom S. E.: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

What we teach software engineers in the university

Maibaum, Tom S. E.

Journal:

ACM SIGSOFT Software Engineering Notes

Year:

1997

Language:

english

File:

PDF, 886 KB

english, 1997

2

A Software Certification Consortium and its Top 9 Hurdles

John Hatcliff, Mats Heimdahl, Mark Lawford, Tom Maibaum, Alan Wassyng, Fred Wurden

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 181 KB

english, 2009

3

On what exactly goes on when software is developed step-by-step, II: The sequel

Journal:

Information Processing Letters

Year:

2003

Language:

english

File:

PDF, 163 KB

english, 2003

4

Evidence-Based Electronic Contract Performance Monitoring

Aspassia Daskalopulu, Theo Dimitrakos, Tom Maibaum

Journal:

Group Decision and Negotiation

Year:

2002

Language:

english

File:

PDF, 188 KB

english, 2002

5

[Lecture Notes in Computer Science] Formal Methods and Software Engineering Volume 5256 || A Process Semantics for BPMN

Liu, Shaoying, Maibaum, Tom, Araki, Keijiro

Year:

2008

Language:

english

File:

PDF, 325 KB

english, 2008

6

A theoretical framework for cardinality-based feature models: The semantics and computational aspects

Safilian, Aliakbar, Maibaum, Tom, Diskin, Zinovy

Journal:

Journal of Logical and Algebraic Methods in Programming

Year:

2018

Language:

english

File:

PDF, 1.04 MB

english, 2018

7

On a generalized modularization theorem

Theodosis Dimitrakos, Tom Maibaum

Journal:

Information Processing Letters

Year:

2000

Language:

english

File:

PDF, 109 KB

english, 2000

8

A rely–guarantee discipline for open distributed systems design

Carlos H.C. Duarte, Tom Maibaum

Journal:

Information Processing Letters

Year:

2000

Language:

english

File:

PDF, 102 KB

english, 2000

9

Categorical semantics of parallel program design

JoséLuiz Fiadeiro, Tom Maibaum

Journal:

Science of Computer Programming

Year:

1997

Language:

english

File:

PDF, 1.93 MB

english, 1997

10

Hierarchical Temporal Specifications of Dynamically Reconfigurable Component Based Systems

Nazareno Aguirre, Tom Maibaum

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2004

Language:

english

File:

PDF, 258 KB

english, 2004

11

A Branching Time Logical System for Open Distributed Systems Development

Carlos H.C. Duarte, Tom Maibaum

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2002

Language:

english

File:

PDF, 1.22 MB

english, 2002

12

Automated Software Engineering: Special Issue on Precise Semantics for Software Modeling Techniques (PSMT'—an ICSE'98 Workshop)

Tom S.E. Maibaum, Bernhard Rumpe

Journal:

Automated Software Engineering

Year:

2000

Language:

english

File:

PDF, 13 KB

english, 2000

13

Desert Island Column

Journal:

Automated Software Engineering

Year:

2002

Language:

english

File:

PDF, 36 KB

english, 2002

14

[Lecture Notes in Computer Science] FM 2008: Formal Methods Volume 5014 || A Model Checking Language for Concurrent Value-Passing Systems

Cuellar, Jorge, Maibaum, Tom, Sere, Kaisa

Year:

2008

Language:

english

File:

PDF, 583 KB

english, 2008

15

[Lecture Notes in Computer Science] Formal Methods at the Crossroads. From Panacea to Foundational Support Volume 2757 || Verification by Abstraction

Aichernig, Bernhard K., Maibaum, Tom

Year:

2003

Language:

english

File:

PDF, 213 KB

english, 2003

16

[Lecture Notes in Computer Science] Formal Methods at the Crossroads. From Panacea to Foundational Support Volume 2757 || Towards the Verifying Compiler

Aichernig, Bernhard K., Maibaum, Tom

Year:

2003

Language:

english

File:

PDF, 120 KB

english, 2003

17

[Lecture Notes in Computer Science] Formal Methods and Software Engineering Volume 5256 || A Formal Descriptive Semantics of UML

Liu, Shaoying, Maibaum, Tom, Araki, Keijiro

Year:

2008

Language:

english

File:

PDF, 395 KB

english, 2008

18

[IEEE 2007 Joint Workshop on High Confidence Medical Devices, Software, and Systems and Medical Device Plug-and-Play Interoperability (HCMDSS-MDPnP 2007) - Boston, MA, USA (2007.06.25-2007.06.27)] 2007 Joint Workshop on High Confidence Medical Devices, Software, and Systems and Medical Device Plug-and-Play Interoperability (HCMDSS-MDPnP 2007) - FDA: Between Process and Product Evaluation

Abdeen, Marwan M., Kahl, Wolfram, Maibaum, Tom

Year:

2007

Language:

english

File:

PDF, 342 KB

english, 2007

19

[IEEE Fourth International Workshop on Comparative Evaluation in Requirements Engineering - Minneapolis, MN (2006.9.11-2006.9.11)] Fourth International Workshop on Comparative Evaluation in Requirements Engineering (CERE'06 - RE'06 Workshop) - Evaluating the Effectiveness of a Goal-Oriented Requirements Engineering Method

F. Al-subaie, Huzam, E. Maibaum, Tom

Year:

2006

Language:

english

File:

PDF, 216 KB

english, 2006

20

[IEEE 2013 IEEE Sixth International Conference on Software Testing, Verification and Validation (ICST) - Luxembourg, Luxembourg (2013.03.18-2013.03.22)] 2013 IEEE Sixth International Conference on Software Testing, Verification and Validation - Improving Test Generation under Rich Contracts by Tight Bounds and Incremental SAT Solving

Abad, Pablo, Aguirre, Nazareno, Bengolea, Valeria, Ciolek, Daniel, Frias, Marcelo F., Galeotti, Juan, Maibaum, Tom, Moscato, Mariano, Rosner, Nicolas, Vissani, Ignacio

Year:

2013

Language:

english

File:

PDF, 244 KB

english, 2013

21

[IEEE 2013 1st International Workshop on Assurance Cases for Software-Intensive Systems (ASSURE) - San Francisco, CA, USA (2013.05.19-2013.05.19)] 2013 1st International Workshop on Assurance Cases for Software-Intensive Systems (ASSURE) - Safety cases: A review of challenges

Langari, Zarrin, Maibaum, Tom

Year:

2013

Language:

english

File:

PDF, 126 KB

english, 2013

22

[Lecture Notes in Computer Science] Fundamental Approaches to Software Engineering Volume 1783 || Java Program Verification via a Hoare Logic with Abrupt Termination

Year:

2000

Language:

english

File:

PDF, 284 KB

english, 2000

23

[ACM Press the conference - Limerick, Ireland (2000.06.04-2000.06.11)] Proceedings of the conference on The future of Software engineering - ICSE '00 - Mathematical foundations of software engineering

Year:

2000

Language:

english

File:

PDF, 1.14 MB

english, 2000

24

Formal methods versus engineering

Journal:

ACM SIGCSE Bulletin

Year:

2009

Language:

english

File:

PDF, 171 KB

english, 2009

25

[ACM Press the 3rd ACM SIGSOFT symposium - Washington, D.C., United States (1995.10.12-1995.10.15)] Proceedings of the 3rd ACM SIGSOFT symposium on Foundations of software engineering - SIGSOFT '95 - Interconnecting formalisms

Fiadeiro, José Luiz, Maibaum, Tom

Year:

1995

Language:

english

File:

PDF, 1.10 MB

english, 1995

26

[ACM Press the 2007 conference of the center for advanced studies - Richmond Hill, Ontario, Canada (2007.10.22-2007.10.25)] Proceedings of the 2007 conference of the center for advanced studies on Collaborative research - CASCON '07 - A test framework for integration testing of object-oriented programs

Maibaum, Tom, Li, Zhe (Jessie)

Year:

2007

Language:

english

File:

PDF, 112 KB

english, 2007

27

[ACM Press the 2010 Conference of the Center for Advanced Studies - Toronto, Ontario, Canada (2010.11.01-2010.11.04)] Proceedings of the 2010 Conference of the Center for Advanced Studies on Collaborative Research - CASCON '10 - Software certification consortium

Wassyng, Alan, Lawford, Mark, Maibaum, Tom, Weber, Jens, Hatcliff, John

Year:

2010

Language:

english

File:

PDF, 474 KB

english, 2010

28

[ACM Press the 2006 international workshop - Shanghai, China (2006.05.21-2006.05.22)] Proceedings of the 2006 international workshop on Self-adaptation and self-managing systems - SEAMS '06 - Towards specification, modelling and analysis of fault tolerance in self managed systems

Magee, Jeff, Maibaum, Tom

Year:

2006

Language:

english

File:

PDF, 349 KB

english, 2006

29

Editorial

Journal:

Journal of Logic and Computation

Year:

1992

Language:

english

File:

PDF, 139 KB

english, 1992

30

[Lecture Notes in Computer Science] Formal Methods at the Crossroads. From Panacea to Foundational Support Volume 2757 || Real-Time Systems Development with Duration Calculi: An Overview

Aichernig, Bernhard K., Maibaum, Tom

Year:

2003

Language:

english

File:

PDF, 248 KB

english, 2003

31

Implementability of requirements in the four-variable model

Patcas, Lucian M., Lawford, Mark, Maibaum, Tom

Journal:

Science of Computer Programming

Year:

2015

Language:

english

File:

PDF, 815 KB

english, 2015

32

Can Product-Specific Assurance Case Templates Be Used as Medical Device Standards?

Wassyng, Alan, Singh, Neeraj Kumar, Geven, Mischa, Proscia, Nicholas, Wang, Hao, Lawford, Mark, Maibaum, Tom

Journal:

IEEE Design and Test

Year:

2015

Language:

english

File:

PDF, 572 KB

english, 2015

33

[IEEE 2012 19th Asia-Pacific Software Engineering Conference (APSEC) - Hong Kong, China (2012.12.4-2012.12.7)] 2012 19th Asia-Pacific Software Engineering Conference - Architecture Based Development with DYNACOMM: Incorporating Dynamic Reconfiguration and Hierarchical Design into CommUnity

Ling, Xiang, Maibaum, Tom

Year:

2012

File:

PDF, 188 KB

2012

34

[IEEE 2012 19th Asia-Pacific Software Engineering Conference (APSEC) - Hong Kong, China (2012.12.4-2012.12.7)] 2012 19th Asia-Pacific Software Engineering Conference - Architecture Based Development with DYNACOMM: Incorporating Dynamic Reconfiguration and Hierarchical Design into CommUnity

Ling, Xiang, Maibaum, Tom

Year:

2012

Language:

english

File:

PDF, 188 KB

english, 2012

35

[Lecture Notes in Computer Science] Formal Methods at the Crossroads. From Panacea to Foundational Support Volume 2757 || Combining Decision Procedures

Aichernig, Bernhard K., Maibaum, Tom

Year:

2003

Language:

english

File:

PDF, 390 KB

english, 2003

36

[Lecture Notes in Computer Science] Formal Methods at the Crossroads. From Panacea to Foundational Support Volume 2757 || A Tool Architecture for the Next Generation of Uppaal

Aichernig, Bernhard K., Maibaum, Tom

Year:

2003

Language:

english

File:

PDF, 297 KB

english, 2003

37

[Lecture Notes in Computer Science] Formal Methods at the Crossroads. From Panacea to Foundational Support Volume 2757 || Real-Time Process Algebra and Its Applications

Aichernig, Bernhard K., Maibaum, Tom

Year:

2003

Language:

english

File:

PDF, 763 KB

english, 2003

38

[Lecture Notes in Computer Science] Formal Methods at the Crossroads. From Panacea to Foundational Support Volume 2757 || A Theory of Hints in Model Checking

Aichernig, Bernhard K., Maibaum, Tom

Year:

2003

Language:

english

File:

PDF, 207 KB

english, 2003

39

[Lecture Notes in Computer Science] Formal Methods at the Crossroads. From Panacea to Foundational Support Volume 2757 || Type Systems for Concurrent Programs

Aichernig, Bernhard K., Maibaum, Tom

Year:

2003

Language:

english

File:

PDF, 218 KB

english, 2003

40

[Lecture Notes in Computer Science] Formal Methods at the Crossroads. From Panacea to Foundational Support Volume 2757 || Making Timed Automata Communicate

Aichernig, Bernhard K., Maibaum, Tom

Year:

2003

Language:

english

File:

PDF, 278 KB

english, 2003

41

Interconnecting formalisms

Fiadeiro, José Luiz, Maibaum, Tom

Journal:

ACM SIGSOFT Software Engineering Notes

Year:

1995

Language:

english

File:

PDF, 1.10 MB

english, 1995

42

[IEEE 2016 10th International Symposium on Theoretical Aspects of Software Engineering (TASE) - Shanghai, China (2016.7.17-2016.7.19)] 2016 10th International Symposium on Theoretical Aspects of Software Engineering (TASE) - Hierarchical Multiset Theories of Cardinality-Based Feature Diagrams

Safilian, Aliakbar, Maibaum, Tom

Year:

2016

Language:

english

File:

PDF, 723 KB

english, 2016

43

Formal Methods: A Commentary

Maibaum, Tom, Sadler, Martin

Journal:

Journal of Information Technology

Year:

1987

Language:

english

File:

PDF, 699 KB

english, 1987

44

[ACM Press the ACM/IEEE 19th International Conference - Saint-malo, France (2016.10.02-2016.10.07)] Proceedings of the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems - MODELS '16 - A model management approach for assurance case reuse due to system evolution

Kokaly, Sahar, Salay, Rick, Cassano, Valentin, Maibaum, Tom, Chechik, Marsha

Year:

2016

Language:

english

File:

PDF, 525 KB

english, 2016

45

[ACM Press the 8th International Workshop - Austin, Texas (2016.05.14-2016.05.22)] Proceedings of the 8th International Workshop on Modeling in Software Engineering - MiSE '16 - Model management for regulatory compliance

Kokaly, Sahar, Salay, Rick, Sabetzadeh, Mehrdad, Chechik, Marsha, Maibaum, Tom

Year:

2016

Language:

english

File:

PDF, 700 KB

english, 2016

46

[IEEE 2016 Eighth International Conference on Information and Knowledge Technology (IKT) - Hamedan, Iran (2016.9.7-2016.9.8)] 2016 Eighth International Conference on Information and Knowledge Technology (IKT) - Consistency checking of clinical practice guidelines with MITDL

Sanati, Morteza Yousef, MacCaull, Wendy, Maibaum, Tom, Majzoobi, Mohammad Mahdi

Year:

2016

Language:

english

File:

PDF, 267 KB

english, 2016

47

[ACM Press the 21th ACM/IEEE International Conference - Copenhagen, Denmark (2018.10.14-2018.10.19)] Proceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems - MODELS '18 - Assurance via model transformations and their hierarchical refinement

Diskin, Zinovy, Maibaum, Tom, Wassyng, Alan, Wynn-Williams, Stephen, Lawford, Mark

Year:

2018

Language:

english

File:

PDF, 2.80 MB

english, 2018

48

[Lecture Notes in Computer Science] Fundamental Approaches to Software Engineering Volume 1783 || A Model for Describing Object-Oriented Systems from Multiple Perspectives

Year:

2000

Language:

english

File:

PDF, 115 KB

english, 2000

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски